Method and apparatus for web farm traffic control

ABSTRACT

Disclosed is a method for controlling a web farm having a plurality of websites and servers, the method comprising categorizing customer requests received from said websites into a plurality of categories, said categories comprising a shareable customer requests and unshareable customer requests, routing said shareable customer requests such that any of said servers may process shareable customer requests received from different said websites, and routing said unshareable customer requests from specific said websites only to specific servers to which said specific websites have been assigned.

FIELD OF INVENTION

[0001] The present invention relates to the balancing of load in web farms.

BACKGROUND OF THE INVENTION

[0002] Web farms are now becoming very popular. A key concept behind the web farm is the notion that a number of different websites share pooled resources. They typically share a common front-end dispatcher to perform load control and distribute customer requests. They share the multiple web servers themselves. And they also share back-end bandwidth to return request results to the customers. The hardware and software is typically owned, operated and maintained by a single service provider, or content host. Examples of companies currently providing or planning to provide this service include AT&T, Exodus, Intel, IBM, Qwest, Verio, and Worldcom.

[0003] A major performance challenge for web farms is to balance the load on the servers effectively, so as to minimize the average response time achieved on the system. Overutilization of servers can cause excessive delays of customer requests. On the other hand, underutilization of servers is wasteful. Minimizing average response time will have the dual effect of maximizing the throughput the web farm can achieve. This means that the load control procedure in the front-end dispatcher can be made more permissive, rejecting fewer requests.

[0004] One of the main motivations for web farms is the efficiencies that arise because of the pooled resources. Each website is assigned to a set of one or more servers. However, the prior art has assumed that the website assignments have been partitioned among the servers: That is, no server handles traffic from more than one website.

[0005] The rationale behind creating sets containing multiple servers is feasibility: The distribution of customer requests amongst the various sites will typically be highly non-uniform. Some sites will likely be vastly more popular than others, and the popularity of a hot website will generally be great enough that assigning it to a single server would overload that server. Thus, in order to achieve acceptable performance it will be necessary to assign some sites to multiple servers.

[0006] It is known to implement load-balancing algorithms for the partitioned case, but such partitioning of the servers leads to less flexibility and therefore less optimally balanced website load balancing.

SUMMARY OF THE INVENTION

[0007] Disclosed is a method for controlling a web farm having a plurality of websites and servers, the method comprising categorizing customer requests received from said websites into a plurality of categories, said categories comprising a shareable customer requests and unshareable customer requests, routing said shareable customer requests such that any of said servers may process shareable customer requests received from different said websites, and routing said unshareable customer requests from specific said websites only to specific servers to which said specific websites have been assigned.

[0008] Another aspect of the method comprises a Goal procedure, said Goal procedure comprising determining, for each said customer request, an optimal server from among said servers to which each said customer request is to be assigned so as to minimize an average customer response time at any given moment, given said assignment of said websites to said servers and a current customer request load.

[0009] In another aspect of the method, said Goal procedure is effected by minimizing the function $\sum\limits_{j = 1}^{N}\quad {R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j}} \right)} \right)}$

[0010] is minimized subject to the constraints Σ(x_(i,j)+y_(i,j))∈{0, . . . , L_(j},) ${{\sum\limits_{j = 1}^{N}x_{i,j}} = c_{i}},{x_{i,j} = {{0\quad {if}\quad a_{ij}} = 0}},{{\sum\limits_{j = 1}^{N}y_{i,j}} = d_{i}},$

[0011] and y_(i,j)=0 if b_(i,j)=0, where M is the number of websites, N is the number of servers, R_(j) is the expected response time as a function of customer arrival rate at server j, x_(i,j) is a decision variable representing the hypothetical number of shareable requests for website i that might be handled by server j, y_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, L_(j) is the maximum acceptable load for server j, c_(i) is the current number of shareable customer requests from website i, d_(i) is the current number of unshareable requests from website i, a_(i,j) is an index indicating if shareable requests from website i may be routed to server j, and b_(i,j) is an index indicating if unshareable requests from website i may be routed to server j.

[0012] Another aspect of the method comprises creating and maintaining a directed graph, said directed graph comprising a dummy node and a plurality of server nodes, each said server node corresponding to one of said servers; designating one of said sever nodes a winning node for which the expression ${R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j} + 1} \right)} \right)} - {R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j}} \right)} \right)}$

[0013] is minimal, and choosing a shortest directed path from said dummy node to said winning node.

[0014] Another aspect of the method comprises a Static procedure, said Static procedure comprising assigning specific said websites to specific said servers.

[0015] In another aspect of the method, said Static procedure assigns said websites to specific servers based upon forecasted demand for shareable and unsharable customer requests from each said website.

[0016] Another aspect of the method comprises a Dynamic procedure, said Dynamic procedure comprising examining the next customer request, invoking said Goal procedure in order to determine which server is the optimal server to currently process said next customer request, and dispatching said next customer request to said optimal server.

[0017] Another aspect of the method comprises receiving said customer requests into a queue, and wherein said Dynamic procedure further comprises monitoring said customer requests in said queue, monitoring customer requests currently being processed by said servers, defining, for each j^(th) server, a function {dot over (R)}_(j)(z) by setting {dot over (R)}_(j)(z)=R_(j)(z+Σ({umlaut over (c)}_(i,j)+{umlaut over (d)}_(i,j))), defining, for each j^(th) server, a revised acceptable load limit {dot over (L)}_(j) by setting ${{\overset{.}{L}}_{j} = {L_{j} - {\sum\limits_{i - 1}^{M}\quad \left( {{\overset{¨}{c}}_{i,j} + {\overset{¨}{d}}_{i,j}} \right)}}},$

[0018] and invoking said Goal procedure to utilize said {dot over (R)}_(j)(z) function and revised acceptable load limit {dot over (L)}_(j) to minimize the function $\sum\limits_{j = 1}^{N}{{\overset{.}{R}}_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \right)}$

[0019] subject to the constraints: ${{\sum\limits_{i = 1}^{M}\quad \left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \in \left\{ {0,\quad \ldots \quad,{\overset{.}{L}}_{j}} \right\}},{{\sum\limits_{j = 1}^{N}{\overset{.}{x}}_{i,j}} = {\overset{.}{c}}_{i}},$

[0020] {dot over (x)}_(i,j)=0 if {dot over (a)}_(i,j)=0, ${{\sum\limits_{j = 1}^{N}{\overset{.}{y}}_{i,j}} = {\overset{.}{d}}_{i}},$

[0021] and {dot over (y)}_(i,j)=0 if {dot over (b)}_(i,j)=0, where {dot over (x)}_(i,j) is a decision variable representing the hypothetical number of shareable requests in the queue for website i that might be handled by server j, {dot over (y)}_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, {dot over (c)}_(i) is the current number of shareable customer requests in the queue from website i, {dot over (d)}_(i) is the current number of unshareable requests in the queue from website i, {umlaut over (c)}_(i) is the current number of shareable customer requests from website i currently being processed in one of the servers, and {umlaut over (d)}_(i) is the current number of unshareable requests from website i currently being processed in one of the servers.

[0022] Disclosed is a program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for controlling a web farm having a plurality of websites and servers, said method steps comprising categorizing customer requests received from said websites into a plurality of categories, said categories comprising a shareable customer requests and unshareable customer requests, routing said shareable customer requests such that any of said servers may process shareable customer requests received from different said websites, and routing said unshareable customer requests from specific said websites only to specific servers to which said specific websites have been assigned.

[0023] Another aspect of the apparatus comprises a Goal procedure, said Goal procedure comprising determining, for each said customer request, an optimal server from among said servers to which each said customer request is to be assigned so as to minimize an average customer response time at any given moment, given said assignment of said websites to said servers and a current customer request load.

[0024] In another aspect of the apparatus, said Goal procedure is effected by minimizing the function $\sum\limits_{j = 1}^{N}\quad {R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j}} \right)} \right)}$

[0025] is minimized subject to the constraints Σ(x_(i,j)+y_(i,j))∈{0, . . . , L_(j)}, ${{\sum\limits_{j = 1}^{N}x_{i,j}} = c_{i}},{x_{i,j} = {{0\quad {if}\quad a_{ij}} = 0}},{{\sum\limits_{j = 1}^{N}y_{i,j}} = d_{i}},$

[0026] and y_(i,j)=0 if b_(i,j)=0, where M is the number of websites, N is the number of servers, R_(j) is the expected response time as a function of customer arrival rate at server j, x_(i,j) is a decision variable representing the hypothetical number of shareable requests for website i that might be handled by server j, y_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, L_(j) is the maximum acceptable load for server j, c_(i) is the current number of shareable customer requests from website i, d_(i) is the current number of unshareable requests from website i, a_(i,j) is an index indicating if shareable requests from website i may be routed to server j, and b_(i,j) is an index indicating if unshareable requests from website i may be routed to server j.

[0027] Another aspect of the apparatus comprises creating and maintaining a directed graph, said directed graph comprising a dummy node and a plurality of server nodes, each said server node corresponding to one of said servers; designating one of said sever nodes a winning node for which the expression ${R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j} + 1} \right)} \right)} - {R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j}} \right)} \right)}$

[0028] is minimal, and choosing a shortest directed path from said dummy node to said winning node.

[0029] Another aspect of the apparatus comprises a Static procedure, said Static procedure comprising assigning specific said websites to specific said servers.

[0030] In another aspect of the apparatus, said Static procedure assigns said websites to specific servers based upon forecasted demand for shareable and unsharable customer requests from each said website.

[0031] Another aspect of the apparatus comprises a Dynamic procedure, said Dynamic procedure comprising examining the next customer request, invoking said Goal procedure in order to determine which server is the optimal server to currently process said next customer request, and dispatching said next customer request to said optimal server.

[0032] Another aspect of the apparatus comprises receiving said customer requests into a queue, and wherein said Dynamic procedure further comprises monitoring said customer requests in said queue, monitoring customer requests currently being processed by said servers, defining, for each j^(th) server, a function {dot over (R)}_(j)(z) by setting {dot over (R)}_(j)(z)=R_(j)+Σ({umlaut over (c)}_(i,j)+{umlaut over (d)}_(i,j))), defining, for each j^(th) server, a revised acceptable load limit {dot over (L)}_(j) by setting ${{\overset{.}{L}}_{j} = {L_{j} - {\sum\limits_{i - 1}^{M}\left( {{\overset{..}{c}}_{i,j} + {\overset{..}{d}}_{i,j}} \right)}}},$

[0033] and invoking said Goal procedure to utilize said {dot over (R)}_(j)(z) function and revised acceptable load limit {dot over (L)}_(j) to minimize the function $\left. {\sum\limits_{j = 1}^{N}{{\overset{.}{R}}_{j}\left( {{\sum\limits_{i = 1}^{M}{\overset{.}{\left( x \right.}}_{i,j}} + {\overset{.}{y}}_{i,j}} \right)}} \right)$

[0034] subject to the constraints ${\sum\limits_{i = 1}^{M}{\left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)\varepsilon \quad \left\{ {0,\quad \ldots \quad,{\overset{.}{L}}_{j}} \right\}}},{{\sum\limits_{j = 1}^{N}{\overset{.}{x}}_{i,j}} = {\overset{.}{c}}_{i}},$

[0035] {dot over (x)}_(i,j)=0 if a_(i,j)=0, ${{\sum\limits_{j = 1}^{N}{\overset{.}{y}}_{i,j}} = {\overset{.}{d}}_{i}},$

[0036] and {dot over (y)}_(i,j)=0 if b_(i,j)=0, where {dot over (x)}_(i,j) is a decision variable representing the hypothetical number of shareable requests in the queue for website i that might be handled by server j, {dot over (y)}_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, {dot over (c)}_(i) is the current number of shareable customer requests in the queue from website i, {dot over (d)}_(i) is the current number of unshareable requests in the queue from website i, {umlaut over (c)}_(i) is the current number of shareable customer requests from website i currently being processed in one of the servers, and {umlaut over (d)}_(i) is the current number of unshareable requests from website i currently being processed in one of the servers.

[0037] Disclosed is a web farm, comprising means for receiving customer requests from customer, means for processing said customer requests to produce responses, means for transmitting said responses to said customers, means for categorizing said customer requests into shareable customer requests and unshareable customer requests, a network dispatcher comprising means for executing a Goal procedure, a Static procedure, and a Dynamic procedure, said Goal procedure comprising determining, for each said customer request, an optimal server from among said servers to which each said customer request is to be assigned so as to minimize an average customer response time at any given moment, given said assignment of said websites to said servers and a current customer request load, wherein said shareable customer requests may be assigned to any said server and wherein said unshareable customer requests may only be assigned to specific servers depending on which said website said unshareable customer request originated, said Static procedure comprising assigning specific said websites to specific said servers, and said Dynamic procedure comprising examining the next customer request, invoking said Goal procedure in order to determine which server is the optimal server to currently process said next customer request, and dispatching said next customer request to said optimal server.

BRIEF DESCRIPTION OF THE DRAWINGS

[0038]FIG. 1 shows a web farm, including network dispatcher and multiple servers.

[0039]FIG. 2 shows a path from the dummy node to the winning node, part of the Goal procedure.

[0040]FIG. 3 is a flow chart of the Goal procedure.

[0041]FIG. 3b is a flowchart of an initialization step of the Goal procedure.

[0042]FIG. 3c is a flowchart of a path bookkeeping step of the Goal procedure.

[0043]FIG. 3d is a flowchart of a graph bookkeeping step of the Goal procedure.

[0044]FIG. 4 is a flow chart of the Dynamic procedure.

[0045]FIG. 5 is the glossary of the website symbols in an example illustrating the Dynamic procedure.

[0046]FIG. 6 shows the directed graph of the Dynamic procedure in the same example.

[0047]FIG. 7 shows the undirected graph of the Static procedure in the same example.

[0048]FIG. 8 shows the neighborhood escape heuristic in the Static procedure.

[0049]FIG. 9 shows a flow chart of the Static procedure.

DETAILED DESCRIPTION OF PREFERRED EMBODIMENTS

[0050] The invention to provides a solution to the problem of balancing the load in a web farm by allowing overlaps among the server assignments of multiple sites, and does so in a practical manner, one which is palatable to the owners of the various sites. The teachings of this invention may be used instead of the load-balancing system disclosed in commonly assigned co-pending U.S. patent application Ser. No. 09/374,539, filed Aug. 16, 1999, Attorney Docket No. 12793(YO999-3077), entitled METHOD AND APPARATUS FOR LOAD BALANCING OF WEB CLUSTER FARMS, the disclosures of which are incorporated by reference herein in their entirety.

[0051] The rationale behind overlapping the website sets is flexibility: Web farms must be able to handle customers requests from the many different sites simultaneously, and this customer demand is typically bursty. This burstiness can be seen on a weekly, daily and hourly basis, due to changing website popularity and customer mix. The evidence suggests that it occurs on much smaller atomic time units as well, such as minutes and even seconds. The point here is that the average website access rates do not sufficiently capture the volatile nature of customer behavior. Traffic for one website may ebb and flow dramatically, and one website may be busy when another is less so. The hope is that a server handling several sites can be made to vary the workload balance amongst these sites to react to these dynamic traffic. Note that a partitioned design does not allow this reactive capability.

[0052] The invention efficiently pools the server resources and employs intelligent methods for the front-end dispatcher so as to balance the load on those servers. The invention is generalizable enough to assume that each website is assigned to a set of one or more servers, and furthermore that these sets may overlap. This means that a given server may handle customer requests from multiple sites if need be. The less-desirable alternative is to partition the servers amongst the various sites, so that each server handles requests from precisely one website. The invention will work for this less preferred special case as well, though less effectively.

[0053] Overlapping sets in the case of web farms is not devoid of problems, however. Although it is reasonable from a technical perspective that a suitably sophisticated server accommodate a modest number of websites, it may not be quite as reasonable from a political perspective. For example, an e-commerce merchant might object to sharing servers handling transaction requests with other merchants, even if the server happens to be logically partitioned amongst the sites. The objection of the merchant will be typically based on privacy grounds. Fortunately, such a merchant would nearly always be less sensitive to sharing servers for browse requests. For a load balancing procedure to be practical and therefore implementable, it must deal effectively with this issue. This may be achieved by dividing the workload of each website into two categories if necessary, one of which is not sharable and the other of which is. This assumes that the public requests (motivated by browsers) can share a server with sharable requests from other sites. They can also share a server with private requests (motivated by transactions) from the same website. This crucial refinement gives the invention the required flexibility to perform well in spite of the politically volatile issue of overlapping assignments.

[0054] Though the invention is described herein in terms of two levels of customer traffic, those skilled in the art will appreciate that the invention is generalizable to a hierarchy of levels of traffic, with varying website-to-server restrictions.

[0055] Note that, although the public and private categories are motivated by browse and transaction requests, respectively, these terms are actually defined by the ability or inability to share. For e-commerce sites that accept the logical partitioning concept, for example, transaction requests will be counted as part of the public traffic and consequently there will be no private traffic at all. On the other extreme, e-commerce sites that refuse to allow any sharing of servers even for browsers will have browse requests counted as part of the private traffic, and there will be no public traffic at all. Of course, there may be non-commercial sites for which the browse and transaction terms have no literal meaning anyway. For simplicity, traffic will nonetheless be classified into either the public or private categories depending on sharability.

[0056] The invention takes advantage of the possibility of overlapping website assignments to balance the web farm load very effectively. The problem decouples naturally into two subproblems, and the solutions to each utilize the same fundamental optimization method to set appropriate goals. Thus, there are three major components to the invention, which will be referred to as the Goal procedure, The Static procedure, and The Dynamic procedure.

[0057] The Goal procedure is the key common procedure. It uses an optimization technique designed to minimize the average customer response time at any given moment, given the assignments of sites to servers and the current customer request load. The technique is a slightly special case of one used for solving the so-called discrete class constrained separable convex resource allocation problem, taught by Tantawi et al, Optimal allocation of multiple class resources in computer systems, ACM Sigmetrics Conference (May 1988), pp. 253-260, the disclosures of which are incorporated by reference herein in their entirety. So this method will determine the optimal load balancing goals. Specifically, the output is the optimal number of customer requests of both the public and private categories for each website to be handled by each appropriate server, and thus by summation the optimal number of all customer requests per server. This problem will need to be resolved on a relatively frequent basis. Fortunately, the solution technique is fast (and incremental in nature). It can handle heterogeneous servers, important because some old, slower servers will inevitably be replaced by new, faster servers over time. The Goal procedure is an integral part of the Dynamic procedure and the Static procedure components below.

[0058] The Static procedure creates a good, hopefully nearly optimal, assignment of sites to servers, respecting the requirements for public and private requests. And the better this is done, the better the average response time in the Goal procedure can be. The Static procedure component calls the Goal procedure iteratively as it proceeds. The technique can be run either in initial or incremental mode. The initial mode is appropriate when configuring a new web farm. The incremental mode allows for constraints which limit the number of assignment changes, and is thus practical for maintaining high quality website-to-server assignments. A neighborhood escape heuristic is employed, such as that disclosed in R. Garfinkel et al., Integer Programming, John Wiley and Sons, New York, N.Y. (1972), the disclosures of which are incorporated by reference herein in their entirety. The incremental mode is meant to be run periodically, perhaps once per week or so. Reconfiguring website-to-server assignments is obviously not a trivial task. The exact frequency will depend on the volatility of the website demand forecasts and the cost of doing the new assignments.

[0059] The Dynamic procedure performs the real-time web server routing in the network dispatcher, based on the output of the Static procedure component and on fluctuating website customer demands. It solves a restricted subproblem based on the Goal procedure to compute this idealized routing. It does not transfer the assignment of previously dispatched requests, which could improve performance further but would incur prohibitively high overhead.

[0060] Referring to FIG. 1, there is shown an example of a hypothetical web farm 10 having three sites 12 and nine servers 13. A network dispatcher 14 routes customer requests for the three sites 12 to the appropriate servers. The first website 12 a comprises two servers (1 and 2) and overlaps with the second website 12 b, which has five servers (2 through 5), and which in turn overlaps with the third website 12 c having four servers (5 through 9). The results of customer requests are piped back to the customers, who may then make additional requests.

[0061] Given the illustrative example of FIG. 1, it will now be useful to describe in detail the three major components of the invention.

[0062] The Goal Procedure (Goal) Component

[0063] It will be useful to first define some notation. Let M denote the number of websites, which for convenience will always be indexed by i. Let N denote the number of servers, indexed by j. Let the {0,1} M×N matrix A=(a_(i,j)) signify the potential for assignment of public requests for website i to server j. In other words, a_(i,j)=1 if sharable requests for website i can be handled by server j, and a_(i,j)=0 otherwise. Analogously, let the {0, 1} M×N matrix B=(b_(i,j)) signify the potential for assignment of private requests for website i to server j. In other words, b_(i,j)=1 if non-sharable requests for website i can be handled by server j, and b_(i,j)=0 otherwise. We will assume in practice that a server j handling private requests for website i can also handle public requests for that website. Thus, a_(i,j)=1 if b_(i,j)=1.

[0064] Associated with each server j is a function R_(j) measuring expected response time as a function of customer arrival rate. This function will depend on the service time distribution, which in turn will depend on the speed of the processor. The function R_(j) will generally be increasing and convex. Classic queuing techniques exist for calculating or estimating R_(j) under certain simplifying assumptions about the arrival rate pattern and service time distribution, as taught by Lavenberg, Computer Performance Modeling Handbook, Academic Press, New York, N.Y. (1983), the disclosures of which are incorporated by reference herein in their entirety, but in general the function may need to be evaluated via simulation experiments or monitoring. Based on this function we can assume that there will be a maximum acceptable load L_(j) on server j, in the sense that exceeding this threshold will cause the value of R_(j) to be too large. If we set L_(j)=∞ this maximum load constraint will, of course, be lax. Assume at a given moment that there are c_(i) public requests and d_(i) private requests in progress for website i. We break these down further into c_(i,j) public requests and d_(i,j) private requests for website i on server j. Thus ${c_{i} = {\sum\limits_{j = 1}^{N}c_{ij}}},$

[0065] and c_(i,j)=0 whenever a_(i,j)=0 (one cannot handle a public request for a website from a server to which it is not assigned). Similarly, d_(i,j)=0 whenever b_(i,j)=0. We let $C = {\sum\limits_{i = 1}^{M}c_{i}}$

[0066] denote the total number of public requests in progress, and similarly $D = {\sum\limits_{i = 1}^{M}d_{i}}$

[0067] denote the total number of private requests in progress.

[0068] The server loads can be regarded as optimally balanced given the current load and website-to-server assignments when the objective function $\begin{matrix} {\sum\limits_{j = 1}^{N}{R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j}} \right)} \right)}} & (1) \end{matrix}$

[0069] is minimized subject to the constraints

Σ(x_(i,j)+y_(i,j))ε{0, . . . , L_(j)}  (2)

[0070] $\begin{matrix} {{\sum{\left( {x_{i,j} + y_{i,j}} \right)\varepsilon \left\{ {0,\quad \ldots \quad,L_{j}} \right\}}},} & (2) \\ {{{\sum\limits_{j = 1}^{N}x_{i,j}} = c_{i}},} & (3) \\ {{x_{ij} = {{0\quad {if}\quad a_{i,j}} = 0}},} & (4) \\ {{{\sum\limits_{j = 1}^{N}y_{i,j}} = d_{i}},{and}} & (5) \\ {y_{ij} = {{0\quad {if}\quad b_{ij}} = 0.}} & (6) \end{matrix}$

[0071] and

y_(i,j)=0 if b_(i,j)0.  (6)

[0072] Here, x_(i,j) is a decision variable representing the hypothetical number of public requests for website i that might be handled by server j. Similarly, y_(i,j) is a decision variable representing the hypothetical number of private requests for website i that might be handled by server j. The objective function measures the sum of the expected response times at the various servers, which differs by a multiplicative constant from the average response time. This constant is irrelevant from the perspective of the optimization problem. Constraint (2) limits the acceptable load on server i. Constraint (3) ensures that the total number of website i public requests equals the actual number of such requests in progress. Constraint (4) ensures that the website-to-server assignments are respected for public requests. Constraints (5) through (6) are the corresponding requirements for private requests. If $X_{j} = {\sum\limits_{i = 1}^{M}x_{ij}}$

[0073] and $Y_{j} = {\sum\limits_{i = 1}^{M}y_{i,j}}$

[0074] in the optimal solution, note that X_(j)+Y_(j) represents the desired load on server j. Our ultimate goal will be to ensure that the optimal load X_(j)+Y_(j) and the actual load $\sum\limits_{i = 1}^{M}\left( {c_{i,j} + d_{i,j}} \right)$

[0075] are always close to each other for each server j.

[0076] The optimization problem described above is a special case of the so-called discrete class constrained separable convex resource allocation problem. The classes correspond to the public and private requests for the various sites. The problem is discrete because of the constraint (2), a resource allocation problem because of constraints (3) and (5), and class constrained because of constraints (4) and (6). The separability term refers to the nature of the objective function, and the convexity term is obvious. As taught by Tantawi et al., discrete class constrained resource allocation problems can be solved exactly and efficiently using a graph-theoretic optimization procedure.

[0077] Referring to FIG. 3, there is shown a flow chart of a preferred embodiment of the Goal procedure. Assuming a feasible solution exists, the procedure proceeds in C+D steps. A directed graph, such as in FIG. 2, is created and will be maintained throughout the course of the procedure. The nodes of the graph are the servers 1, . . . , N, plus a dummy node that we label as “node 0”. Set a_(i,0)=1 and b_(i,0)=1 for each i, and L₀=0. We will create and modify a partial feasible solution {x_(i,j)|i=1, . . . M,j=0, . . . , N}∪{y_(i,j)|i=1, . . . , M,j=0, . . . , N}. Initially, at steps 100 and 105 in FIG. 3, this partial feasible solution is set for each i to have x_(i,0)=c_(i),y_(i,0)=d_(i), and x_(i,j)=y_(i,j)=0 for all j=1, . . . , N, thus, all resources reside at the dummy node. The directed graph is initialized at step 110 and, at any step, has a directed arc from a node j_(i)ε{0, . . . , N } to a node j₂ε{0, . . . , N} if there is at least one website i, satisfying

a_(i) ₁ _(,j) ₁ =a_(i) ₁ _(,j) ₂ =1,  (7)

x_(i) ₁ _(,j) ₁ >0,  (8)

[0078] $\begin{matrix} {{{\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j}} \right)} < L_{j2}},} & (9) \end{matrix}$

[0079] or, alternatively, at least one website i₁ satisfying

b_(i) ₁ _(,j) ₁ =b_(i) ₁ _(,j) ₂ =1,  (10)

y_(i) ₁ _(,j) ₁ >0  (11)

[0080] and condition (9). Condition (7) indicates that nodes j₁ and j₂ can handle public requests for website i₁. Condition (8) indicates that a public request for website i₁ has been allocated to node j₁. Condition (9) indicates that this request could be transferred to node j₂ without exceeding the load limit on that node. Conditions (10), (11) and (9) are the corresponding requirements for private requests. Note that there may be directed arcs from node 0, but there are no directed arcs to node 0. So the receiving node will always be a real server, not the dummy node.

[0081] The general step of the method finds, among all nodes j ε{1, . . . , N} for which there is a directed path from 0 to j, the winning node for which the first difference $\begin{matrix} {{R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j} + 1} \right)} \right)} - {R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j}} \right)} \right)}} & (12) \end{matrix}$

[0082] is minimal. This so-called first difference is the discrete analog of the derivative for continuous functions. The first differences are non-decreasing in j for each i by virtue of the convexity of R_(j). If no such node exists, the procedure terminates with an infeasible solution. Otherwise, a shortest directed path is chosen from 0 to the winning node. For each directed arc (j₁,j₂) in this path, the value of x_(i) ₁ _(,j) ₁ +y_(i) ₁ _(,j) ₁ is decremented by 1 and the value of x_(i) ₁ _(,j) ₂ +y_(i) ₂ _(,j) ₂ is incremented by 1 for an appropriate website i₁ (by virtue of either a decrease and increase for a public request or a decrease and increase for a private request). Performing this step over all directed arcs has the effect of removing one unit of load from the dummy node, and adding one unit of load to the winning node. There is no net effect on the load of the intermediate nodes. Thus, the dummy node serves as a staging area for the resources, one of which is released in each step into the server nodes. Bookkeeping is then performed on the directed graph, which may modify some directed arcs and potentially disconnect certain nodes, and the step is repeated. After (C+D) steps the procedure terminates with an optimal solution to the original discrete class constrained resource allocation problem. Feasibility is guaranteed because of the conditions on the arcs in the directed graph.

[0083] Referring more specifically to FIG. 3, a preferred embodiment of the Goal procedure begins in step 100 by setting the variables x_(i,j) and y_(i,j) to be 0 for all sites i and servers j. The procedure will increment and decrement these variables as it proceeds. In step 105 a dummy node is initialized as node 0. All resources are initially put there, so that we set x_(i,0)=c_(i) and y_(i,0)=d_(i). In step 110 the directed graph connecting the N+1 nodes is initialized according to equations (7)-(11) as is described in more detail with respect to FIG. 3b below. One can determine from this that there will be directed arcs from the dummy node 0 to nodes j such that there is at least one website i with a_(i,j)=1 or b_(i,j)=1. This graph will be modified as the procedure proceeds. In step 115 we set k=1. This variable will count the units of resource as they are assigned. In step 120 we initialize m to be infinity and j to be 1. In step 125 we determine if there is a directed path from 0 to node j. If there is, in step 130 we evaluate equation (12) for this server j and compare it to m. If it is less, we set j*=j and m to be the value of equation (12) in step 135. This is the currently smallest value of m. Then we proceed to step 140. We also proceed to step 140 if there was no path in step 125 or if equation (12) in step 130 evaluates to m or greater. Step 140 increments j. In step 145 we check if j is N or less. If it is, we return to step 125. Otherwise we proceed to step 150, where we compare m with infinity. If m is not less then infinity there was no path from the dummy node to any node, and there is thus no feasible solution to the problem. So the procedure stops in step 155. Otherwise we proceed to step 160 and find the shortest such path. In step 165 we perform bookkeeping on this path, incrementing and decrementing the appropriate values of x_(i,j) and y_(i,j). In so doing one unit of resource will be removed from the dummy node and one unit of resource will be added to the server j* as is described in more detail below with respect to FIG. 3c. Then, in step 170, we perform bookkeeping on the directed graph, again ensuring that equations (7)-(11) are satisfied. Some directed arcs may be added and some removed in this process, which is described in greater detail with respect to FIG. 3d, below. In step 175 we increment k. We test k to see if it is C+D or less in step 180. If not, the procedure has completed in step 185 with final solution x_(i,j) and y_(i,j), otherwise we return to step 120 to continue the procedure.

[0084] Referring to FIG. 2, there is illustrated a path in the directed graph of the class constrained resource allocation procedure. Note that not all the nodes and directed arcs of the graph are shown here. Load is being transferred from the dummy “node 0” 20 to the winning (server) node 25, the node connected to node 0 whose first difference is minimal. The directed path shown is intended to be the shortest such one. The directed arcs are numbered 1 through 5. In the figure one new (public or private) request for some website is allocated via directed arc 1, though the first (server) node 21 to which it is allocated does not change its level of activity. In fact, none of the first four server nodes 21 through 24 have different levels of activity. The fifth, winning server node 25 experiences a gain of one unit of activity, at the expense of the dummy node 20.

[0085] Referring to FIG. 3b, there is shown a flowchart of the initialization procedure corresponding to step 110 from FIG. 3. In step 400 we initialize j=1 and then test to see if L_(j) is greater than 0 in step 405. If so, we initialize i to be 1 in step 410 and test to see if a_(j) is greater than 0 in step 415. If so, we test to see if x_(i0) is greater than 0 in step 420. If so, we create a directed arc from the dummy node 0 to j in step 425 and proceed to step 430. If either step 415 or step 420 fail, then we proceed to step 435, where we test to see if b_(j) is greater than 0. If it is, we then test to see if y_(i0) is greater than 0 in step 440. If it is, flow proceeds to step 425, as before. If either step 435 or step 440 fails, control flows to step 430, wherein j is incremented. In step 445 we test to see if j is less than or equal to N. If not, control loops back to step 405, otherwise we exit at step 450.

[0086] Referring to FIG. 3c, there is shown a flowchart of the path bookkeeping procedure of Step 165 of FIG. 3. In this flowchart we assume that the shortest path has k directed arcs and is labeled from j₀=0 to j₁ to j₂, and so on to j_(k)=j. In step 500 we initialize j=0, and in step 505 we initialize i=1. In step 510 we check to see if a_(ij)=a_(i)(j+1)=1. If it is, we check if x_(ij) is greater than 0 in step 515. If it is, we decrement x_(ij) and increment x_(i)(j+1) in step 520. If either test in steps 510 or 515 fail we proceed to step 525, where we check analogously to see if b_(ij)=b_(i(j+l)=)1. If it is, we check if y_(ij) is greater than 0 in step 530. If so, we decrement y_(ij) and increment y_(i)(j+1) in step 535. If either test in steps 525 or 530 fail we proceed to step 540, where we increment i and return to step 510 (we know that one server i will eventually pass this test by the constraints). Now after step 520 or step 535 we proceed to step 545 where we increment j. We test to see if j is less than k in step 550. If so we return to step 505. If not, the procedure exits at step 555.

[0087] Referring to FIG. 3d, there is shown a flowchart of the graph bookkeeping procedure of Step 170 of FIG. 3. Beginning at step 600, we initializes j₁ to be 1. In step 605 we initialize j₂ to be 1. We test to see if condition (9) regarding L_(j2) is true in step 610. If not, the procedure exits at 612, otherwise we initialize i=1 in step 615 and then test to see if a_(j1)=a_(j2)=1 in step 620. If it is, we test to see if x_(ij1) is greater than 0 in step 625. If it is, we create a directed arc from node j₁ to node j₂ in step 630 and proceed to step 635, where j₂ is incremented. If either step 620 or step 625 fail, we proceed to step 640, where we test to see if b_(j1)=b_(j2)=1. If it is, we test to see if Y_(ij2) is greater than 0 in step 645. If it is, we proceed to step 630, as before. If either step 640 or step 645 fail, we proceed to step 635. In step 650 we test to see if j₂ is less than or equal to N. If it is, we increments j₁ in step 655 and proceed to step 660, where we test to see if j₁ is less than or equal to N. If not, we exit at step 665. If the test in step 650 fails, we proceed to step 670, checking if j₁=j₂. If j₁=j_(2,) we return to step 635; otherwise we return to step 610. If the test in step 660 fails, we proceed to step 675, where we also check if j₁=j₂. If j₁=j₂, we return to step 655; otherwise we return to step 605.

[0088] The Dynamic Procedure (Dynamic)

[0089] Referring to FIG. 4, we now describe the Dynamic procedure component of the load balancing procedure. The technique assumes (the Static procedure component) assignments of sites to servers as a given. This amounts to the determination of the matrices A and B. It then monitors exact or approximate loads at the servers, as well as the arrival of new customer requests at the network dispatcher. The job of the Dynamic procedure component is to make routing decisions in the network dispatcher for these queued requests, assigning them to appropriate servers. In doing so, it tries to achieve to the extent possible the optimal average response time and server load levels dictated by the Goal procedure. Indeed, it calls the Goal procedure on the traffic queued in the network dispatcher to make its decisions. The routing decisions could be implemented via an exact or a probabilistic policy. Once the requests are assigned by the Static procedure component to servers, they will be satisfied at those servers. In other words, in the preferred embodiment, the decision of the network dispatcher is regarded as final, and requests at the servers themselves cannot be redirected based on load.

[0090] It will be useful to define some meta notation. At any given time, some load will be queued in the network dispatcher and some will have already been dispatched to the servers. We wish to differentiate these two types of load, as well as the overall load. We will use a single dot when referring to variables that pertain to load in the dispatcher, and a double dot when referring to variables that pertain to load in the servers. If no dots are employed the variables will refer to the combined dispatcher and server load.

[0091] The method monitors the current number of dispatched public requests {umlaut over (c)}_(i,j) and the number of dispatched private requests {umlaut over (d)}_(i,j) for website i on server j. The Dynamic procedure component does not react directly to completions of requests on the servers, but it does decrement the values of {umlaut over (c)}i,j and {umlaut over (d)}_(i,j) appropriately. If this data is not readily available it may be estimated. In the meantime, new requests arrive and queue up in the network dispatcher. Let {dot over (c)}_(i) denote the number of new public requests for website i since the last execution of the Dynamic procedure component. Similarly, let {dot over (d)}_(i) denote the number of new private requests for website i since the last execution of the Dynamic procedure component. Aggregating, we let $\overset{.}{C} = {\sum\limits_{i = 1}^{M}{\overset{.}{c}}_{i}}$

[0092] and $\overset{.}{D} = {\sum\limits_{i = 1}^{M}{\overset{.}{d}}_{i}}$

[0093] denote the total number of queued public and private requests, respectively, in the dispatcher.

[0094] The Dynamic procedure component may be designed to wake up and execute after a fixed time interval, after the number of items {dot over (C)}+{dot over (D)} in the queue reaches some fixed batch size threshold, or perhaps some combination of both criteria.

[0095] We apply the Goal procedure to the requests queued in the network dispatcher, while leaving the previously dispatched requests alone. To do this we shall require a little bookkeeping. Specifically, we define for each server j a new convex increasing function {dot over (R)}_(j)(z) by setting

{dot over (R)} _(j)(z)=R _(j)(z+Σ({umlaut over (c)}_(i,j)+{umlaut over (d)}_(i,j)))  (13)

[0096] This function simply shifts the original function to account for the amount of unperturbable load in the server. For the same reason we also define for each server j a revised acceptable load limit {dot over (L)}_(j) by setting $\begin{matrix} {{\overset{.}{L}}_{j} = {L_{j} - {\sum\limits_{i - 1}^{M}\left( {{\overset{¨}{c}}_{i,j} + {\overset{¨}{d}}_{i,j}} \right)}}} & (14) \end{matrix}$

[0097] With these formalities, the optimal way to dispatch the {dot over (C)}+{dot over (D)} queued requests is determined by solving the following restricted the Goal procedure component problem:

[0098] Minimize

[0099] subject to the constraints: $\begin{matrix} {\sum\limits_{j = 1}^{N}{{\overset{.}{R}}_{j}\left( {\sum\limits_{i = 1}^{M}\left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \right)}} & (15) \\ {{{\sum\limits_{i = 1}^{M}\left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \in \left\{ {0,\ldots \quad,{\overset{.}{L}}_{j}} \right\}},} & (16) \\ {{{\sum\limits_{j = 1}^{N}{\overset{.}{x}}_{i,j}} = {\overset{.}{c}}_{i}},} & (17) \end{matrix}$

{dot over (x)}_(i,j)=0 if a_(i,j)=0,  (18)

[0100] $\begin{matrix} {{\sum\limits_{j = 1}^{N}{\overset{.}{y}}_{i,j}} = {\overset{.}{d}}_{i}} & (19) \end{matrix}$

[0101] and

{dot over (y)}_(i,j)=0 if b_(i,j)0,  (20)

[0102] which corresponds to step 200 of FIG. 4. Even in the optimal solution the total load $\sum\limits_{i = 1}^{M}\left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j} + {\overset{.}{c}}_{i,j} + {\overset{.}{d}}_{i,j}} \right)$

[0103] on server j is suboptimal overall. It is, however, optimal subject to the additional constraint that no previously assigned load can be transferred amongst servers.

[0104] Furthermore, note that in the special case where the technique wakes up whenever a new request arrives to the network dispatcher, so that either {dot over (c)}_(i) ₁ _(,j)=1 or {dot over (d)}_(i) ₁ _(,j)=1 for some website i₁ the procedure is simply greedy. In other words, if {dot over (c)}_(i) ₁ _(,j)=1, so that a new public request for website i₁ is to be assigned, that server j satisfying a_(i) ₁ _(,j)=1 and m ${\sum\limits_{i = 1}^{M}\left( {{\overset{¨}{c}}_{i,j} + {\overset{¨}{d}}_{i,j}} \right)} < L_{j}$

[0105] whose first difference $\begin{matrix} {{R_{j}\left( {{\sum\limits_{i = 1}^{M}{\overset{¨}{c}}_{i,j}} + {\overset{¨}{d}}_{i,j} + 1} \right)} - {R_{j}\left( {{\sum\limits_{i = 1}^{M}{\overset{¨}{c}}_{i,j}} + {\overset{¨}{d}}_{i,j}} \right)}} & (21) \end{matrix}$

[0106] is minimal is chosen. If {dot over (d)}_(i) ₁ _(,j)=1, so that a new private request for website i₁ is to be added, that server j satisfying b_(i) ₁ _(,j)=1 and the load limit constraint whose first difference given by expression (21) is minimal is chosen.

[0107] The Dynamic procedure may be illustrated by the example shown in FIGS. 5 and 6. We consider a 15 server configuration hosting 8 sites. There are 5 servers assigned to handle public website traffic. We will call these cluster servers, because each such server has the capability of handling traffic from multiple sites. There are also 10 servers assigned to handle private website traffic. We will therefore call these partition servers. Each such server can handle both public and private traffic, but only from a single website. Consider FIG. 5, which is a website symbol glossary for this example. Each symbol has a shape unique to the website. For example, circularlogic.com is represented by a circle. The gray symbols indicate public traffic and the black symbols indicate private traffic. The relevant cluster and partition server cardinalities are also indicated. These are the row sums $\sum\limits_{j = 1}^{N}A_{i,j}$

[0108] and $\sum\limits_{j = 1}^{N}B_{i,j}$

[0109] of the assignment matrices A and B, respectively. For example, circularlogic.com is assigned 3 cluster servers and 2 partition servers.

[0110] All this is seen in more detail in FIG. 6. The inner loop contains the 5 cluster servers, C1 through C5, and the outer loop contains the 10 partition servers, P1 through P10. Note, for instance, that circularlogic.com is assigned to cluster servers C1, C2, and C5. On server C1 the public traffic for this website must share the server with the public traffic for hexnut.com and eggcenitric.com. Similarly, circularlogic.com is assigned to partition servers P1 and P2. Each of these two servers handle both public and private traffic, but only for this website.

[0111] Actually, FIG. 6 conveys more information. It shows a slightly modified directed graph of the sort used by the Goal procedure. Recall FIG. 2, which illustrated a shortest path from the dummy node to a server node at a particular instant of time in the solution of the class constrained resource allocation problem. By contrast, FIG. 6 shows a directed graph H showing, with one exception, all the directed arcs and nodes at such an instant. (The exception is that the dummy node and the directed arcs coming from it have been eliminated.)

[0112] So H is defined as follows: the nodes correspond to the servers. For each pair j₁ and j₂ of distinct server nodes, there is a directed arc from j₁ to j₂ provided there exists at least one website i₁ satisfying conditions (7) through (9) or conditions (10), (11), and (9).

[0113] In FIG. 6 not all directed arcs appear in both directions, because they may fail to meet all the relevant constraints. For example, there is no directed arc from P3 to P4, apparently because there is no load on P3, either public (condition 8) or private (condition 11). There is no directed arc from C3 to P7, apparently because P7 is operating at full capacity (condition 9). There is no arc in either direction between C1 and P3, apparently because there is no public load on P3 (condition 8) and because C1 is operating at full capacity. There is no arc in either direction between P1 and C4, because neither condition (7) nor condition (10) is satisfied.

[0114] Again, the existence of a directed arc signifies the potential for reducing the load on the server, increasing the load on another without exceeding the load capacity, and leaving the loads on other servers unaffected. A directed path from the dummy node to one of the server nodes allows the transfer one unit of load from the staging node to that server node, leaving all other server nodes unaffected. After this transfer, the graph H may be modified via a bookkeeping technique to respect the current status of constraints (8), (9) and (11). (The status of constraints (7) and (10) remain intact.)

[0115] One can see in FIG. 6 three different types of directed arcs. One type, indicating potential 4 transfers of either public or private load from one partition server to another, can be seen between P1 and P2. A second type, indicating potential transfers between public load from a partition server to an cluster server or vice versa, can be seen between P1 and C1. A third type, indicating potential transfers between public load from one cluster server to another, can be seen between C1 and C2.

[0116] It should be understood that the tighter the graph H is, in terms of having as many directed arcs as possible, the more likely it is that the Goal procedure can achieve good quality results that yield lower response times. This is the goal of the Static procedure component described next.

[0117] A detailed embodiment of the Dynamic procedure is shown in the flowchart of FIG. 4. Control flow begins at step 200, employing the Goal procedure to solve for the optimal goals {dot over (x)}_(i,j) and {dot over (y)}_(i,j) for each website i and server j. In step 205 we set k=1. In step 210 we initialize {dot over (X)}_(i,j) and {dot over (Y)}_(i,j) for each website i and server j to be 0. These variables will count the progress of the dispatcher relative to the goals. In step 215 we determine what website corresponds to request k in the queue. Step 220 determines whether the request is public or private. There are comparable flows for each of these two possibilities, and we focus on the public alternative. This begins with step 225, where we set j=1 and M to be negative infinity. We will try to find the server with the maximum difference between the goals and the achieved values, as follows: In step 230 we ask if M is less than {dot over (x)}_(i,j)−{dot over (X)}_(i,j). If it is, we setj*=j and M={dot over (x)}_(i,j)−{dot over (X)}_(i,j) in step 235, and proceed to step 240. We also branch to step 240 if the test in step 230 fails. In step 240 we increment j. In step 245 we ask whether j is less than or equal to N. If it is, we return to step 230. If not, we have a winning server j* and we increment {dot over (X)}_(i,j)* and dispatch request k to server j* in step 250. We then proceed to step 255, where k is incremented. In step 260 we test if k is less than or equal to {dot over (C)}+{dot over (D)}. If it is, we return to step 210 to dispatch the next request. If not, we stop, having emptied the queue of requests. If step 220 determines that request is a private request we proceed to steps 270 through 295. These steps are precisely analogous to steps 225 through 250 except that they deal with private rather than public requests. Ultimately, control flow returns to step 220 again.

[0118] The Static Procedure Component

[0119] Referring to FIGS. 7 through 9, we now describe the Static procedure component, which assigns sites to servers. The goal is to optimize the achievable performance of the Goal procedure and therefore of the Dynamic procedure component. The key input to the Static procedure component will be forecasts of the average demand for public and private requests for each website, as well as any constraints on the allowable website-to-server assignments. The output of the Static procedure component will be simply the two {0,1} assignment matrices A=(a_(i,j)) and B=(b_(i,j)).

[0120] We also assume the constraints on website-to-server assignments as given. These constraints might pertain to the physical capacities of the servers themselves, to the goal of achieving acceptably high cache hit rates, to the operating systems on the servers, to fixed server assignments certain sites might have negotiated, and so on. Such constraints might be quite complicated or quite elementary. For example, a cache constraint might be relatively complex, based perhaps on an analytic hit rate model, the locality of the website data and the cache size. It would have the effect of ensuring that a relatively small number of sites be assigned to each server. On the other hand, an operating system constraint might simply be a list of which sites are inappropriate for certain servers. The point is that the Static procedure component is heuristic in nature and can deal with the constraints simply by checking them before considering any changes in assignments.

[0121] The Static procedure component has two possible modes. The initial mode (FIG. 9) is used to configure a new system from scratch, one for which no sites have yet been assigned to servers. The incremental mode is then used on a periodic basis to adjust existing website-to-server assignments based on revised website demand forecasts. In order to ensure that the implementation of those adjustments is practical, we allow for a constraint that limits the allowable number of website-to-server assignment changes allowed. Both modes will be seen to employ essentially the same methodology. In the initial mode one might have to employ analytic models for the response time functions, while in the incremental mode one could use more accurate measured response times instead. These presumably would better capture the effects of caching and other real world phenomena.

[0122] The incremental the Static procedure component should not be executed too frequently, because there is an obvious cost in making the assignment changes. Once or so per week is probably reasonable. The exact frequency will depend on the relative tradeoff of this cost compared with the potential for performance improvement given updated website forecasts. Presumably a run of the Static procedure could be triggered by the detection of some sort of load imbalance condition.

[0123] The primary goal in both modes is to achieve high connectivity of the undirected graph G defined as follows: The nodes correspond to the servers. For each pair j₁ and j₂ of distinct nodes, there is an arc between j₁ and j₂ provided there exists at least one website i₁ for which a_(i) ₁ _(,j) ₁ =a_(i) ₁ _(,j) ₂ =1 or at least one website is for which b_(i) ₁ _(,j) ₁ =b_(i) ₁ _(,j) ₂ =1. These conditions mimic the condition (7) and (10) in the definition for the directed graph H. Because conditions (8), (9), and (11) will generally be satisfied in any well-balanced web farm, the notion is that G serves as an effective surrogate for H. Note also that conditions (7) and (10) are essentially static, while conditions (8), (9) and (11) are inherently dynamic. That is why G is more appropriate for the Static procedure component.

[0124]FIG. 7 shows the graph G for the example described above. Note the similarities to the directed graph H shown in FIG. 6. There is, however, an arc in FIG. 7 between servers C1 and P3, even though FIG. 6 has no comparable directed arc in either direction. And several other directed arcs in FIG. 6, such as the one from server P4 to P3, are not matched by directed arcs in the opposite direction. Notice that in FIG. 7, arcs between two cluster servers are shown as solid lines, arcs between two partition servers as dotted lines, and arcs between an cluster and a partition server as dashed lines.

[0125] The objective function we will attempt to optimize is that of the Goal procedure component itself, which we treat as a black box in our invention. The rationale here is that this measure, effectively the average response time, is clearly more directly appropriate than either of the other two graph-theoretic surrogates (diameter or average distance), and not significantly more computationally expensive to compute.

[0126] The meta notation employed is that a tilde (˜) will refer to the Static procedure problem formulation.

[0127] We will proceed by inventing a new matrix Ã that will describe the space of (in some sense preferred) assignments of sites to servers, as follows: Ã=(ã_(i,j)) will again be a {0,1} matrix of size M×N. Under the typical conditions that there exist both public and private traffic for each website, we will make the translation from Ã to A_(Ã) and B_(Ã) in the following fashion.

a_(i,j)=ã_(i,j)  (22)

[0128] $\begin{matrix} {b_{i,j} = \left\{ \begin{matrix} 1 & {{{{{if}\quad {\overset{\sim}{a}}_{i,j}} = {{1\quad {and}\quad {\overset{\sim}{a}}_{i^{\prime},j}} = {{0\quad {for}\quad {all}\quad i^{\prime}} \neq i}}},}} \\ 0 & {{{otherwise}.}} \end{matrix} \right.} & (23) \end{matrix}$

[0129] This makes the implicit assumption that any server j for which the row sum ${\sum\limits_{i = 1}^{M}{\overset{\sim}{a}}_{i,j}} = 1$

[0130] is a partition server with both public and private traffic for one website, and all other servers, are servers with multiple public website traffic. Notice that not all possible pairs of assignment matrices A and B can be regarded as translated from some matrix {dot over (A)}. The ones that cannot are, however, less preferable to us. The Static procedure component will not choose them.

[0131] We have to make minor adjustments to handle special cases. If only private traffic exists for website i we will require that ã_(i′,j)=0 for i′≠i whenever ã_(i,j)=1. This makes j a partition server for website i. We set a_(i,j)=0 and b_(i,j)=1. If only public traffic exists for website i any server j assigned to that website can be regarded officially as public, even if ${\sum\limits_{i = 1}^{M}{\overset{\sim}{a}}_{i,j}} = 1.$

[0132] So we set a_(i,j)=ã_(i,j) and b_(i,j)=0.

[0133] We will also need to modify the response time function R_(j) for each server j, in order to handle the cases where the load on that server exceeds its load limit L_(j). Such infeasibilities may well occur, at least in the early stages of our the Static procedure component procedures, and we need to handle them by forcing feasibility at a large objective function cost. So consider a very large number Q and let {tilde over (R)}_(j)(k)=R_(j)(k) for k L_(j), bu t {tilde over (R)}_(j)(L_(j)+1)={tilde over (R)}_(j)(L_(j))+Q, {tilde over (R)}_(j)(L_(j)+2)={tilde over (R)}_(j)(L_(j)+1)+2Q, and so on. The general recursion defines

{tilde over (R)} _(j)(L _(i) +k)={tilde over (R)} _(j)(L _(j) +k−1)+kQ  (24)

[0134] for k>0. Note that {tilde over (R)}_(j) remains convex and increasing. We also redefine the maximum acceptable load to be {tilde over (L)}_(j)=∞.

[0135] Let {tilde over (c)}and {tilde over (d)} _(i) refer to the forecasted public and private load, respectively, for website i. We will base our exposition on the case where both public and private traffic exists for each website, but one can quickly determine the appropriate modifications when this is not the case.

[0136] Without loss of generality let us assume that sites have been reindexed in terms of increasing forecasted total load {tilde over (c)}_(i)+{tilde over (d)}_(i). We will also assume that the servers have been reindexed in terms of increasing performance. This could, for example, be determined by their original maximum acceptable loads L_(j).

[0137] The first step of the initial assignment method is the matching of sites to servers in sequence to the extent possible. There may be feasibility constraints that restrict certain sites from certain servers, and one must respect these. So, looping from website i=1 to M in order as shown in steps 305 through 335 of FIG. 9, we set ã_(i,j) ₁ =1 at step 325, where j is the lowest index of a feasible but currently unassigned server, and we set ã_(i,j)=0 for all other j at initialization. It is possible but presumably highly unlikely that there will not be feasible assignments possible for all sites. This might happen because of the constraints, and it might happen because M>N. In this case the initial assignment technique has failed. Otherwise, there are M partition servers at this point, and the remaining N−M servers are idle.

[0138] We evaluate the objective function for this initial solution, which happens to be $\begin{matrix} {\sum\limits_{i = 1}^{M}{{\overset{\sim}{R}}_{j,}\left( {{\overset{\sim}{c}}_{i} + {\overset{\sim}{d}}_{i}} \right)}} & (25) \end{matrix}$

[0139] The initial solution will now be modified by the implementation of a so-called neighborhood escape heuristic. This heuristic employs a metric Δ to measure distances between two possible assignments of sites to servers, which we shall describe shortly. Briey, a neighborhood escape heuristic is an iterative improvement procedure that attempts to avoid being trapped in local minima while achieving relatively low computational costs. Assuming the predefined metric A for the moment on the search space of feasible solutions, plus an existing initial feasible solution such as the one described above, the technique proceeds in stages. At the beginning of each stage there is a so-called current solution that may be modified during the stage. At the beginning of the first stage the current solution is the initial solution. Each stage successively searches the neighborhoods of distance 1, 2 and so on about the current solution. (A neighborhood of distance k about the current solution is the set of all feasible assignments whose distance from the current solution is less than or equal to k. A ring of distance k about the current solution is the set of all feasible assignments whose distance from the current solution is equal to k, which is the neighborhood of distance k minus the neighborhood of distance k−1). If an objective function improvement can be found in the neighborhood of distance 1 about the current solution, the heuristic chooses the best such improvement, relabels it as the current solution, and iterates the process by starting the next stage. If no improvement can be found within the neighborhood of distance 1, the heuristic considers the ring of distance 2 instead. Again there are two possibilities: If there is an improvement here, the best such improvement is chosen as the current solution and the procedure starts the next stage. If not, the procedure considers the ring of distance 3, and so on, up to a fixed distance limit, say K. If no objective function improvements have been reached within the K^(th) ring, the process terminates with a final solution equal to the current solution. The check of the various rings occur in steps 360, 380, and 385 of FIG. 9. Improvement is checked for in Step 370.

[0140]FIG. 8 illustrates this process. The current solution at the start of the initial stage is at the center 400 of the first set of neighborhoods, DISTANCE 1. The heuristic searches the first neighborhood and subsequent rings in sequence until an improvement is found. In the figure it is only in the K^(th) ring DISTANCE K that an improvement occurs. Then the heuristic resets the current solution to be the best improvement found in that search as represented by the new center 410, and commences the second stage. The figure shows the neighborhoods about that solution. An improvement is now found in the 3rd ring. The third stage now commences, though we do not show it in the figure. Had the K^(th) ring failed to yield an improvement in the first stage the initial solution would have been the final solution.

[0141] We now define the distance metric Δ. ${\overset{\sim}{A}}^{1} = \left( {\overset{\sim}{a}}_{i,j}^{1} \right)$

[0142] and ${\overset{\sim}{A}}^{2} = \left( {\overset{\sim}{a}}_{i,j}^{2} \right)$

[0143] be two such assignments, and define $\begin{matrix} {{\Delta \left( {{\overset{\sim}{A}}^{1},{\overset{\sim}{A}}^{2}} \right)} = \left. {\sum\limits_{i = 1}^{M}\sum\limits_{j = 1}^{N}} \middle| {{\overset{\sim}{a}}_{i,j}^{1} - {\overset{\sim}{a}}_{i,j}^{2}} \right|} & (26) \end{matrix}$

[0144] The intent here is simple: If, for example, we modify an assignment Ã¹ into a new assignment A² by adding or subtracting a single website to one of the servers, we obtain Δ(Ã¹, A²)=1. A move of a website from an old server to a new server (which did not have that website assigned previously) has DISTANCE 2 in FIG. 8. Subtracting a website from a server and a simultaneous adding a different website to that server also has DISTANCE 2. A swap of different sites on different servers has DISTANCE 4, and so on.

[0145] For a given solution Ã and its translated assignment matrices A_(Ã) and B_(Ã), the test for improvement involves solving the Goal procedure component problem of minimizing $\begin{matrix} {{\sum\limits_{j = 1}^{N}{{\overset{\sim}{R}}_{j}\left( {\sum\limits_{i = 1}^{M}\left( {{\overset{\sim}{x}}_{i,j} + {\overset{\sim}{y}}_{i,j}} \right)} \right)}}{{subject}\quad {to}\quad {the}\quad {constraints}}} & (27) \\ {{\sum\limits_{j = 1}^{N}{\overset{\sim}{x}}_{i,j}} = {\overset{\sim}{c}}_{i}} & (28) \end{matrix}$

{tilde over (x)}_(i,j)=0 if a_(i,j)=0  (29) $\begin{matrix} {{\sum\limits_{j = 1}^{N}{\overset{\sim}{y}}_{i,j}} = {\overset{\sim}{d}}_{i}} & (30) \end{matrix}$

[0146] and

{tilde over (y)}_(i,j)=0 if b_(i,j)=0  (31)

[0147] The constraints involving {tilde over (L)}_(j)=∞ are vacuous, of course. But given the cost of load that exceeds the limit L_(j) one would expect the solution to satisfy $\begin{matrix} {{\sum\limits_{i = 1}^{M}\left( {{\overset{\sim}{x}}_{i,j} + {\overset{\sim}{y}}_{i,j}} \right)} \in \left\{ {0,\ldots \quad,L_{j}} \right\}} & (32) \end{matrix}$

[0148] for each server j after very few stages in the neighborhood escape heuristic. So assignments that are feasible from all perspectives should be achievable in short order. Indeed, the first few stages of the procedure will typically assign high volume sites to the currently unused servers, and then the technique will start to turn partition servers into cluster servers, typically changing the status of the higher performance servers first.

[0149] An incremental procedure will be run periodically, perhaps once per week, to retain good website-to-server assignments in the presence of changing forecasts and such. Fortunately, it uses virtually the same methodology.

[0150] The initial solution is the current solution from the last the Static procedure component run, of course, and we modify it via our neighborhood escape technique. The only twist is that we employ an additional stopping criterion, one that stops if the distance between the initial and current solution exceeds some user-defined threshold T. The reason for this is that the assignment changes are indeed expensive to implement, and we don't want to allow wildly different solutions between successive instances of the Static procedure component runs.

[0151] Referring to FIG. 9, a detailed embodiment of the Static procedure is shown. Beginning at step 300 we initialize website i to be 1. In step 305 we initialize server j to be 1. In step 310 we determine if server j is feasible for website i. If it is, we proceed to step 320, where we determine whether server j is currently unassigned. If it currently unassigned we assign it in step 325 and increment the website i in step 330. In step 335 we determine whether i is less than or equal to the total number of sites M. If it is, we return to step 305. If the tests in steps 310 or 320 have failed we proceed to step 340, where we increment the server j. In step 345 we determine whether j is less than or equal to the total number of servers N. If it is, we return to step 310. If not, we stop in step 350 with an infeasible solution. Now returning to the case where the sites have been exhausted in step 335 we proceed to step 355, beginning the neighborhood escape component of the procedure. We evaluate the value R of the solution as given by equation (25). In step 360 we set k=1. In step 365 we search the k^(th) ring to evaluate the best possible solution R_(k). In step 370 we evaluate R_(k) compared to the best current solution R. If the new value is better we make this the best solution in step 375 and return to step 360. If the new value is not better we increment k in step 380. In step 385 we determine if all rings k have been exhausted. If they have not we return to step 365. Otherwise we stop with the final assignment solution in step 390.

[0152] The invention may easily be adapted to automation as by, for example, tangibly embodying a program of instructions upon a storage media, readable by a machine capable of executing the instructions, such as a computer.

[0153] It is also to be understood that the term “website” need not restrict the invention to use with hypertext markup language (HTML) documents on the world wide web, but is to be construed to encompass any user network interface capable of receiving customer requests, outputting results, and communicating with a server such as, for example, on a local area networks and the like.

[0154] It is to be understood that all physical quantities disclosed herein, unless explicitly indicated otherwise, are not to be construed as exactly equal to the quantity disclosed, but rather about equal to the quantity disclosed. Further, the mere absence of a qualifier such as “about” or the like, is not to be construed as an explicit indication that any such disclosed physical quantity is an exact quantity, irrespective of whether such qualifiers are used with respect to any other physical quantities disclosed herein.

[0155] While preferred embodiments have been shown and described, various modifications and substitutions may be made thereto without departing from the spirit and scope of the invention. Accordingly, it is to be understood that the present invention has been described by way of illustration only, and such illustrations and embodiments as have been disclosed herein are not to be construed as limiting to the claims. 

What is claimed is:
 1. A method for controlling a web farm having a plurality of websites and servers, the method comprising: categorizing customer requests received from said websites into a plurality of categories, said categories comprising a shareable customer requests and unshareable customer requests; routing said shareable customer requests such that any of said servers may process shareable customer requests received from different said websites; and routing said unshareable customer requests from specific said websites only to specific servers to which said specific websites have been assigned.
 2. The method of claim 1 further comprising a Goal procedure, said Goal procedure comprising determining, for each said customer request, an optimal server from among said servers to which each said customer request is to be assigned so as to minimize an average customer response time at any given moment, given said assignment of said websites to said servers and a current customer request load.
 3. The method of claim 2 wherein said Goal procedure is effected by minimizing the function $\sum\limits_{j = 1}^{N}{R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j}} \right)} \right)}$

is minimized subject to the constraints Σ(x_(i,j)+y_(i,j))ε{0, . . . , L_(j)}, $\begin{matrix} {{{\sum\limits_{j = 1}^{N}x_{i,j}} = c_{i}},} \\ {{x_{i,j} = {{0\quad {if}\quad a_{i,j}} = 0}},} \\ {{{\sum\limits_{j = 1}^{N}y_{i,j}} = d_{i}},{and}} \\ {{y_{i,j} = {{0\quad {if}\quad b_{i,j}} = 0}},} \end{matrix}$

where M is the number of websites, N is the number of servers, R_(j) is the expected response time as a function of customer arrival rate at server j, x_(i,j) is a decision variable representing the hypothetical number of shareable requests for website i that might be handled by server j, y_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, L_(j) is the maximum acceptable load for server j, c_(i) is the current number of shareable customer requests from website i, d_(i) is the current number of unshareable requests from website i, a_(i,j) is an index indicating if shareable requests from website i may be routed to server j, and b_(i,j) is an index indicating if unshareable requests from website i may be routed to server j.
 4. The method of claim 3 further comprising creating and maintaining a directed graph, said directed graph comprising a dummy node and a plurality of server nodes, each said server node corresponding to one of said servers; designating one of said sever nodes a winning node for which the expression ${R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j} + 1} \right)} \right)} - {R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j}} \right)} \right)}$

is minimal; and choosing a shortest directed path from said dummy node to said winning node.
 5. The method of claim 1 further comprising a Static procedure, said Static procedure comprising assigning specific said websites to specific said servers for the purposes of processing unsharable customer requests.
 6. The method of claim 5 wherein said Static procedure assigns said websites to specific servers based upon forecasted demand for shareable and unsharable customer requests from each said website.
 7. The method of claim 2 further comprising a Dynamic procedure, said Dynamic procedure comprising: examining the next customer request; invoking said Goal procedure in order to determine which server is the optimal server to currently process said next customer request; and dispatching said next customer request to said optimal server.
 8. The method of claim 7 further comprising: receiving said customer requests into a queue; and wherein said Dynamic procedure further comprises: monitoring said customer requests in said queue; monitoring customer requests currently being processed by said servers; defining, for each j^(th) server, a function {dot over (R)}_(j)(z) by setting {dot over (R)} _(j)(z)=R _(j)(z+Σ({umlaut over (c)} _(i,j) +{umlaut over (d)} _(i,j))); defining, for each j^(th) server, a revised acceptable load limit {dot over (L)}_(j) by setting ${{\overset{.}{L}}_{j} = {L_{j} - {\sum\limits_{i - 1}^{M}\left( {{\overset{¨}{c}}_{i,j} + {\overset{¨}{d}}_{i,j}} \right)}}};{and}$

invoking said Goal procedure to utilize said {dot over (R)}_(j)(z) function and revised acceptable load limit L to minimize the function $\quad {\sum\limits_{j = 1}^{N}{{\overset{.}{R}}_{j}\left( {\sum\limits_{i = 1}^{M}\left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \right)}}\quad$ subject  to  the  constraints ${{\sum\limits_{i = 1}^{M}\left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \in \left\{ {0,\ldots \quad,{\overset{.}{L}}_{j}} \right\}},{{\sum\limits_{j = 1}^{N}{\overset{.}{x}}_{i,j}} = {\overset{.}{c}}_{i}},{{\overset{.}{x}}_{i,j} = {{0\quad {if}\quad a_{i,j}} = 0}},{{\sum\limits_{j = 1}^{N}{\overset{.}{y}}_{i,j}} = {\overset{.}{d}}_{i}},{and}$ ${{\overset{.}{y}}_{i,j} = {{0\quad {if}\quad b_{i,j}} = 0}},$

where {dot over (x)}_(i,j) is a decision variable representing the hypothetical number of shareable requests in the queue for website i that might be handled by server j, {dot over (y)}_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, {dot over (c)}_(i) is the current number of shareable customer requests in the queue from website i, {dot over (d)}_(i) is the current number of unshareable requests in the queue from website i, {umlaut over (c)}_(i) is the current number of shareable customer requests from website i currently being processed in one of the servers, and {umlaut over (d)}_(i) is the current number of unshareable requests from website i currently being processed in one of the servers.
 9. A program storage device readable by machine, tangibly embodying a program of instructions executable by the machine to perform method steps for controlling a web farm having a plurality of websites and servers, said method steps comprising: categorizing customer requests received from said websites into a plurality of categories, said categories comprising a shareable customer requests and unshareable customer requests; routing said shareable customer requests such that any of said servers may process shareable customer requests received from different said websites; and routing said unshareable customer requests from specific said websites only to specific servers to which said specific websites have been assigned.
 10. The apparatus of claim 9 further comprising a Goal procedure, said Goal procedure comprising determining, for each said customer request, an optimal server from among said servers to which each said customer request is to be assigned so as to minimize an average customer response time at any given moment, given said assignment of said websites to said servers and a current customer request load.
 11. The apparatus of claim 10 wherein said Goal procedure is effected by minimizing the function $\sum\limits_{j = 1}^{N}{R_{j}\left( {\sum\limits_{i = 1}^{M}\left( {x_{i,j} + y_{i,j}} \right)} \right)}$

is minimized subject to the constraints Σ(x _(i,j)+y_(i,j))ε{0, . . . , L_(j)}, ${{\sum\limits_{j = 1}^{N}\quad x_{i,j}} = c_{i}},{x_{i,j} = {{0\quad {if}\quad a_{i,j}} = 0}},{{\sum\limits_{j = 1}^{N}y_{i,j}} = d_{i}},{and}$ y_(i, j) = 0  if  b_(i, j) = 0,

where M is the number of websites, N is the number of servers, R_(j) is the expected response time as a function of customer arrival rate at server j, x_(i,j) is a decision variable representing the hypothetical number of shareable requests for website i that might be handled by server j, y_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, L_(j) is the maximum acceptable load for server j, c_(i) is the current number of shareable customer requests from website i, d_(i) is the current number of unshareable requests from website i, a_(i,j) is an index indicating if shareable requests from website i may be routed to server j, and b_(i,j) is an index indicating if unshareable requests from website i may be routed to server j.
 12. The apparatus of claim 11 further comprising creating and maintaining a directed graph, said directed graph comprising a dummy node and a plurality of server nodes, each said server node corresponding to one of said servers; designating one of said sever nodes a winning node for which the expression ${R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j} + 1} \right)} \right)} - {R_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {x_{i,j} + y_{i,j}} \right)} \right)}$

is minimal; and choosing a shortest directed path from said dummy node to said winning node.
 13. The apparatus of claim 9 further comprising a Static procedure, said Static procedure comprising assigning specific said websites to specific said servers.
 14. The apparatus of claim 13 wherein said Static procedure assigns said websites to specific servers based upon forecasted demand for shareable and unsharable customer requests from each said website.
 15. The apparatus of claim 10 further comprising a Dynamic procedure, said Dynamic procedure comprising: examining the next customer request; invoking said Goal procedure in order to determine which server is the optimal server to currently process said next customer request; and dispatching said next customer request to said optimal server.
 16. The apparatus of claim 15 further comprising: receiving said customer requests into a queue; and wherein said Dynamic procedure further comprises: monitoring said customer requests in said queue; monitoring customer requests currently being processed by said servers; defining, for each j^(th) server, a function {dot over (R)}_(j)(z) by setting {dot over (R)} _(j() z)=R _(j)(z+Σ({umlaut over (c)} _(i,j+) {umlaut over (d)} _(i,j))); defining, for each j^(th) server, a revised acceptable load limit {dot over (L)}_(j) by setting ${{\overset{.}{L}}_{j} = {L_{j} - {\sum\limits_{i - 1}^{M}\quad \left( {{\overset{¨}{c}}_{i,j} + {\overset{¨}{d}}_{i,j}} \right)}}};{and}$

invoking said Goal procedure to utilize said {dot over (R)}_(j)(z) function and revised acceptable load limit {dot over (L)}_(j) to minimize the function $\sum\limits_{j = 1}^{N}\quad {{\overset{.}{R}}_{j}\left( {\sum\limits_{i = 1}^{M}\quad \left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \right)}$ subject  to  the  constraints: ${{\sum\limits_{i = 1}^{M}\quad \left( {{\overset{.}{x}}_{i,j} + {\overset{.}{y}}_{i,j}} \right)} \in \left\{ {0,\quad \ldots \quad,{\overset{.}{L}}_{j}} \right\}},{{\sum\limits_{j = 1}^{N}{\overset{.}{x}}_{i,j}} = \overset{.}{c_{i}}}\quad,{{\overset{.}{x}}_{i,j} = {{0\quad {if}\quad a_{i,j}} = 0}},{{\sum\limits_{j = 1}^{N}{\overset{.}{y}}_{i,j}} = \overset{.}{d_{i}}}\quad,\quad {and}$ ${{\overset{.}{y}}_{i,j} = {{0\quad {if}\quad b_{i,j}} = 0}},$

where {dot over (x)}_(i,j) is a decision variable representing the hypothetical number of shareable requests in the queue for website i that might be handled by server j, {dot over (y)}_(i,j) is a decision variable representing the hypothetical number of unshareable requests for website i that might be handled by server j, {dot over (c)}_(i) is the current number of shareable customer requests in the queue from website i, {dot over (d)}_(i) is the current number of unshareable requests in the queue from website i, {umlaut over (c)}_(i) is the current number of shareable customer requests from website i currently being processed in one of the servers, and {umlaut over (d)}_(i) is the current number of unshareable requests from website i currently being processed in one of the servers.
 17. A web farm, comprising: means for receiving customer requests from customer; means for processing said customer requests to produce responses; means for transmitting said responses to said customers; means for categorizing said customer requests into shareable customer requests and unshareable customer requests; a network dispatcher comprising means for executing a Goal procedure, a Static procedure, and a Dynamic procedure; said Goal procedure comprising determining, for each said customer request, an optimal server from among said servers to which each said customer request is to be assigned so as to minimize an average customer response time at any given moment, given said assignment of said websites to said servers and a current customer request load, wherein said shareable customer requests may be assigned to any said server and wherein said unshareable customer requests may only be assigned to specific servers depending on which said website said unshareable customer request originated; said Static procedure comprising assigning specific said websites to specific said servers; and said Dynamic procedure comprising: examining the next customer request; invoking said Goal procedure in order to determine which server is the optimal server to currently process said next customer request; and dispatching said next customer request to said optimal server. 